Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
11	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
12	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
13	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
14	A Framework for Learning Web Wrappers from the Crowd Valter Crescenzi, Paolo Merialdo, Disheng Qiu Dipartimento di Ingegneria Università degli Studi Roma Tre Via della Vasca Navale, 79 – Rome, Italy Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:06 Logic Statistics Theoretical computer science Bayesian network Networks Wrapper Admissible rule Bayesian inference Negation Supervised learning Algorithm
15	A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-27 05:38:59 Logic Denotational semantics Admissible rule Orbifold Μ operator Mathematical logic Theoretical computer science Symbol
16	Microsoft Word - Review.DecTheory.R12.doc Add to Reading List Source URL: psych.nyu.edu Language: English - Date: 2012-08-21 15:39:32 Statistical inference Bayesian inference Estimation theory Admissible decision rule Minimax estimator Detection theory Bayes estimator Loss function Prior probability Statistics Decision theory Bayesian statistics
17	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
18	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34 Mathematics Natural deduction Cut-elimination theorem Propositional calculus Sequent calculus Combinatory logic Linear logic Closed and exact differential forms Admissible rule Mathematical logic Logic Proof theory
19	Using Bayesian Classifiers to Combine Rules Jesse Davis, V´ıtor Santos Costa, Irene M. Ong, David Page and Inˆes Dutra Department of Biostatistics and Medical Informatics University of Madison-Wisconsin {jdavis, vitor Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2005-06-28 13:28:34 Naive Bayes classifier Confidence interval Bayesian network Admissible decision rule Statistics Bayesian statistics Statistical classification
20	Canonical Constituents and Non-canonical Coordination Simple Categorial Grammar Account Oleg Kiselyov Tohoku University, Japan Add to Reading List Source URL: okmij.org Language: English - Date: 2015-02-20 23:56:29 Logical syntax Deduction Proof theory Lambda calculus Categorial grammar Coordination Admissible rule Simply typed lambda calculus Entailment Logic Mathematical logic Propositional calculus